Resource Usage Analysis for the π-Calculus
نویسندگان
چکیده
منابع مشابه
Resource Usage Analysis for the π-Calculus
We propose a type-based resource usage analysis for the πcalculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension of previous behavioral type systems for the pi-calculus, and can guarantee the safety property that no inva...
متن کاملUsage Analysis for the Π - Calculus
We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a valid manner. Our type system is an extension of previous behavioral type systems for the pi-calculus, and can guarantee the safety property that no inv...
متن کاملResource Usage Analysis for the p-Calculus
We propose a type-based resource usage analysis for the π-calculus extendedwith resource creation/access primitives. The goal of the resource usage analysis is tostatically check that a program accesses resources such as files and memory in a validmanner. Our type system is an extension of previous behavioral type systems for the π-calculus. It can guarantee the safety property ...
متن کاملA Resource Analysis of the π-calculus
We give a new treatment of the π-calculus based on the semantic theory of separation logic, continuing a research program begun by Hoare and O’Hearn. Using a novel resource model that distinguishes between public and private ownership, we refactor the operational semantics so that sending, receiving, and allocating are commands that influence owned resources. These ideas lead naturally to two d...
متن کاملOccurrence Counting Analysis for the Π-calculus
Occurrence Counting Analysis for the π-calculus Jérôme Feret Laboratoire d'Informatique de l'École Normale Supérieure ENS-LIENS, 45, rue d'Ulm, 75230 PARIS cédex 5, FRANCE Abstract We propose an abstract interpretation-based analysis for automatically proving non-trivial properties of mobile systems of processes. We focus on properties relying on the number of occurrences of processes during co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2006
ISSN: 1860-5974
DOI: 10.2168/lmcs-2(3:4)2006